Towards Reuse with “Feature-Oriented Event-B”
نویسندگان
چکیده
Event-B [19] is a language for the formal specification and verification of reactive systems. The language and its RODIN toolkit represent a leading model-based technology for formal software construction. However, scalability is a major current concern, especially the dimension of reusability. We outline a proposed infrastructure for scalable development with reuse for Event-B. We focus specifically on our agenda for reuse in Software Product Lines, and explain how a form of feature modelling will be central to this programme.
منابع مشابه
Towards Feature-Oriented Specification and Development with Event-B
A proposal is made for the development of a feature-oriented reuse capability for safety-critical software construction using rigorous methods. We précis the Event-B language the evolution of the B-Method of J.-R. Abrial [1] a leading formal method for safety-critical software development. Current and new infrastructure for scalable development with Event-B is outlined, and contrasted with supp...
متن کاملFeature Composition – Towards product lines of Event-B models
Event-B is a formal language for modelling reactive systems, based on set theory and first-order logic. The RODIN toolkit provides comprehensive tool support for modelling and refinement in Event-B, analysis and verification using animator/model-checkers and theorem provers. We consider the need to support reuse, in particular product line reuse, in such a formal development method. Feature mod...
متن کاملCapability & Potential for Formal Feature-oriented Reuse in Event-B
Context: Event-B is a leading state-based language for formal modelling and verification of systems supported by an extensible Rodin toolkit. Its existing composition techniques provide a starting point for the investigation of capability for reuse via feature-based modelling. We contribute early methodology for formal development of software product lines (SPLs). An SPL is a set of related pro...
متن کاملService-Oriented Product Lines: Towrads a Development Process and Feature Management Model for Web Services
Service-Oriented Architecture fosters the loose coupling of services aimed at maximizing flexibility, adaptability and configurability. Services of different providers can easily be integrated into a common framework with standardized technology like Web Services. A Software Product Line depicts a systematic software reuse approach by handling various types of flexible software artifacts that f...
متن کاملTowards constructing an Integrative, Multi-Level Model for Cognition: The Function of Semantic Networks
Integrated approaches try to connect different constructs in different theories and reinterpret them using a common conceptual framework. In this research, using the concept of processing levels, an integrated, three-level model of the cognitive systems has been proposed and evaluated. Processing levels are divided into three categories of Feature-Oriented, Semantic and Conceptual Level based o...
متن کامل